Simplify

Simplify[expr] performs a sequence of algebraic and other transformations on expr and returns the simplest form it finds. 

Simplify[expr,assum] does simplification using assumptions. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.